-
1 система аксиом
-
2 аксиома
Русско-английский словарь по информационным технологиям > аксиома
-
3 счётность
f. denumerability, countability; вторая аксиома счётности, second axiom of countabilityРусско-английский словарь математических терминов > счётность
-
4 счетность
* * *f. denumerability, countability;
вторая аксиома счётности - second axiom of countability -
5 счётность
-
6 вторая аксиома счётности
Mathematics: second axiom of countabilityУниверсальный русско-английский словарь > вторая аксиома счётности
См. также в других словарях:
second axiom of countability — Math. See under axiom of countability. * * * … Universalium
second axiom of countability — Math. See under axiom of countability … Useful english dictionary
axiom of countability — Math. the property satisfied by a topological space in which the neighborhood system of each point has a base consisting of a countable number of neighborhoods (first axiom of countability) or the property satisfied by a topological space that… … Universalium
axiom of countability — Math. the property satisfied by a topological space in which the neighborhood system of each point has a base consisting of a countable number of neighborhoods (first axiom of countability) or the property satisfied by a topological space that… … Useful english dictionary
Axiom of countability — In mathematics, an axiom of countability is a property of certain mathematical objects (usually in a category) that requires the existence of a countable set with certain properties, while without it such sets might not exist. Important… … Wikipedia
Second-countable space — In topology, a second countable space, also called a completely separable space, is a topological space satisfying the second axiom of countability. A space is said to be second countable if its topology has a countable base. More explicitly,… … Wikipedia
Second-order logic — In logic and mathematics second order logic is an extension of first order logic, which itself is an extension of propositional logic.[1] Second order logic is in turn extended by higher order logic and type theory. First order logic uses only… … Wikipedia
Abzählbarkeitsaxiome — Im mathematischen Teilgebiet der Topologie gibt es zwei Endlichkeitsbedingungen an die betrachteten Räume, die als erstes bzw. zweites Abzählbarkeitsaxiom bezeichnet werden. Räume, die ein Abzählbarkeitsaxiom erfüllen, können aus topologischer… … Deutsch Wikipedia
Erstabzählbar — Im mathematischen Teilgebiet der Topologie gibt es zwei Endlichkeitsbedingungen an die betrachteten Räume, die als erstes bzw. zweites Abzählbarkeitsaxiom bezeichnet werden. Räume, die ein Abzählbarkeitsaxiom erfüllen, können aus topologischer… … Deutsch Wikipedia
Erstes Abzählbarkeitsaxiom — Im mathematischen Teilgebiet der Topologie gibt es zwei Endlichkeitsbedingungen an die betrachteten Räume, die als erstes bzw. zweites Abzählbarkeitsaxiom bezeichnet werden. Räume, die ein Abzählbarkeitsaxiom erfüllen, können aus topologischer… … Deutsch Wikipedia
Hausdorffsche Abzählbarkeitsaxiome — Im mathematischen Teilgebiet der Topologie gibt es zwei Endlichkeitsbedingungen an die betrachteten Räume, die als erstes bzw. zweites Abzählbarkeitsaxiom bezeichnet werden. Räume, die ein Abzählbarkeitsaxiom erfüllen, können aus topologischer… … Deutsch Wikipedia